#define _CRT_SECURE_NO_WARNINGS

#include <stdio.h>

//int main()
//{
//    char arr[13] = { 0 };
//    for (int i = 0; i < 13; i++)
//        scanf("%c", &arr[i]);
//
//    int sum = 0;
//    int i = 0;
//    int j = 0;
//    for (i = 0; i < 13; i++)
//    {
//        if (arr[i] == '-')
//            continue;
//        if (i != 12 && i != 1 && i != 5 && i != 11)
//        {
//            j++;
//            sum += (arr[i] - '0') * j;
//        }
//    }
//    int ret = sum % 11;
//    if (ret == (arr[i - 1] - '0') || ret == 10 && arr[i - 1] == 'X')
//    {
//        printf("Right");
//    }
//    else
//    {
//        for (int i = 0; i < 13; i++)
//        {
//            if (i == 12)
//                arr[i] = (char)(ret + 48);
//            printf("%c", arr[i]);
//        }
//    }
//    return 0;
//}

//int main()
//{
//	printf(" ");
//	printf("%-2d",2);
//	printf("3");
//
//	return 0;
//}

int main()
{
    int a, b, c, d, e, f, g;
    double sum = 0;
    double max = 0, min = 0;
    while (scanf("%d %d %d %d %d %d %d", &a, &b, &c, &d, &e, &f, &g) != EOF)
    {
        int arr[7] = { a,b,c,d,e,f,g };
        max = arr[0];
        min = arr[6];
        for (int i = 0; i < 7; i++)
        {
            if (max <= arr[i])
                max = arr[i];
            if (min >= arr[i])
                min = arr[i];
            sum += arr[i];
        }
        sum = (sum - min - max) / 5.0;
        printf("%.2lf\n", sum);
    }
    return 0;
}
